home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: delta / whiteline CD Series - delta.iso / tex / style / misc / zmacros.tex / node3_mn.html < prev    next >
Text File  |  1995-11-25  |  4KB  |  87 lines
  1.  
  2. <H1><A ID="SECTION00030000000000000000">
  3. The care and feeding of schemas</A>
  4. </H1>
  5.  
  6. <P>
  7. To print the schema
  8. <BR>
  9. <tex2html_image_mark>#schema17#
  10. <BR>
  11. you just say
  12. <BLOCKQUOTE>
  13. </BLOCKQUOTE><PRE><tex2html_verbatim_mark>verbatim9#</PRE><BLOCKQUOTE>
  14. </BLOCKQUOTE>
  15. What could be simpler?
  16. If you want a schema with no name, just a horizontal rule at the top,
  17. use the <tex2html_verb_mark>1<tex2html_verb_mark> environment instead.
  18. In fact, here is an example:
  19. If you like the name set flush left, you can use the <tex2html_verb_mark>2<tex2html_verb_mark>
  20. declaration to get the following effect:
  21. <BR>
  22. <tex2html_image_mark>#leftschemas24#
  23. <BR>
  24. As well as these, there's <tex2html_verb_mark>3<tex2html_verb_mark>
  25. for axiomatic definitions: to print
  26. <BR>
  27. <tex2html_image_mark>#axdef29#
  28. <BR>
  29. you say
  30. <BLOCKQUOTE>
  31. </BLOCKQUOTE><PRE><tex2html_verbatim_mark>verbatim10#</PRE><BLOCKQUOTE>
  32. </BLOCKQUOTE>
  33. The strange hint <tex2html_verb_mark>4<tex2html_verb_mark> in this example makes the corresponding
  34. line in the output have one helping of indentation.
  35. As things get more nested, you can say <tex2html_verb_mark>5<tex2html_verb_mark>, <tex2html_verb_mark>6<tex2html_verb_mark>, and so on.
  36. But if you should ever get beyond <tex2html_verb_mark>7<tex2html_verb_mark>, you'll need to use braces
  37. around the argument: <tex2html_verb_mark>8<tex2html_verb_mark>, and you'd better look for some way
  38. to simplify your specification!
  39. The syntax of these little tab marks is a bit strange, I'm afraid,
  40. but I find them more convenient than other possibilities. They're short,
  41. and they don't get longer as the tabbing gets deeper, within reason,
  42. so they can be tucked in neatly on the left, well away from the
  43. maths.
  44. The size of `helping' you get with <tex2html_verb_mark>9<tex2html_verb_mark> is a parameter
  45. <tex2html_verb_mark>10<tex2html_verb_mark>, and the default is 2em.
  46.  
  47. <P>
  48. Two other things to notice here are the little space between the
  49. ∀ and the following <I>S</I>, and the use of <tex2html_verb_mark>11<tex2html_verb_mark> for
  50. the bullet <tex2html_image_mark>#tex2html_wrap_inline216#⇧.
  51. These macros produce symbols of the right type for T<SMALL>E</SMALL>X's spacing
  52. rules to insert spaces automatically.
  53.  
  54. <P>
  55. For generic definitions, there's the <tex2html_verb_mark>12<tex2html_verb_mark> environment:
  56. you can get a neat double-topped box like
  57. <BR>
  58. <tex2html_image_mark>#gendef35#
  59. <BR>
  60. by typing
  61. <BLOCKQUOTE>
  62. </BLOCKQUOTE><PRE><tex2html_verbatim_mark>verbatim11#</PRE><BLOCKQUOTE>
  63. </BLOCKQUOTE>
  64. You should take note of the thin space I've inserted between <I>map</I> and <I>f</I>
  65. in this example: if this is omitted, the input <tex2html_verb_mark>13<tex2html_verb_mark> gives
  66. <I>mapf</I>, because T<SMALL>E</SMALL>X ignores spaces in math mode.
  67. There's also a <tex2html_verb_mark>14<tex2html_verb_mark> environment for generic definitions with no
  68. parameters.
  69.  
  70. <P>
  71. If a schema or other box contains more than one predicate below the
  72. line, it often looks better to add a tiny vertical space between
  73. them, as in this example:
  74. <BR>
  75. <tex2html_image_mark>#schema42#
  76. <BR>
  77. This is done with the command <tex2html_verb_mark>15<tex2html_verb_mark>, which behaves syntactically
  78. like <tex2html_verb_mark>16<tex2html_verb_mark>:
  79. <BLOCKQUOTE>
  80. </BLOCKQUOTE><PRE><tex2html_verbatim_mark>verbatim12#</PRE><BLOCKQUOTE>
  81. </BLOCKQUOTE>
  82. Note that <tex2html_verb_mark>17<tex2html_verb_mark> is provided <#49#><EM>instead</EM><#49#> of the
  83. optional argument to <tex2html_verb_mark>18<tex2html_verb_mark>
  84. which L<SUP><SMALL>A</SMALL></SUP>T<SMALL>E</SMALL>X provides in other environments.
  85.  
  86. <P>
  87.